Expressing Second-order Sentences in Intuitionistic Dependence Logic

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Intuitionistic dependence logic was introduced by Abramsky and Väänänen [AV09] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependenc...

متن کامل

Searching for Inductive Proofs in Second-Order Intuitionistic Logic

Several researchers have studied the problem of inductive reasoning about PROLOG programs, beginning with an early paper by Clark and Tarnlund [2]. The pioneering work of Kanamori and Seki [11] proposed an extended model of PROLOG execution and showed how this extended model could be used for program veri cation. A companion paper by Kanamori and Fujita [10] analyzed several techniques for the ...

متن کامل

A secondary semantics for Second Order Intuitionistic Propositional Logic

We propose a Kripke-style semantics for second order intuitionistic propositional logic. Our semantics can be viewed as a secondary semantics with nested domains in the sense of Skvortsov [6]. Namely, let F be a Kripke frame, that is a partially ordered set, and let D(F) be the Heyting algebra of the upward-closed subsets of F . In principal semantics, quantifiers ranges over all the elements o...

متن کامل

Expressing cardinality quantifiers in monadic second-order logic over chains

We study the extension of monadic second-order logic of order with cardinality quantifiers “there exists infinitely many sets” and “there exists uncountably many sets”. On linear orders that require the addition of only countably many points to be complete, we show using the composition method that the second-order uncountability quantifier can be reduced to the first-order uncountability quant...

متن کامل

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

We study an extension of monadic second-order logic of order with the uncountability quantifier “there exist uncountably many sets”. We prove that, over the class of finitely branching trees, this extension is equally expressive to plain monadic second-order logic of order. Additionally we find that the continuum hypothesis holds for classes of sets definable in monadic second-order logic over ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Studia Logica

سال: 2013

ISSN: 0039-3215,1572-8730

DOI: 10.1007/s11225-013-9476-5